topology proof